Nuprl Definition : Branch3 13,42
REF, NoConds
using parms
let $t = let $br = if $w1:cond1 then
let $t = let $br = icase1
let $t = let $br = elseif $w2:cond2 then  case2else otherwise in context in tac
== UsingBranch (parms) ([`$br'] ,context) [cond1, [`$w1'],case1 ; cond2, [`$w2'],case2] (otherwise
== )  (\$t. tac  ) 
latex

clarification:

REF, NoConds
using parms
let $t = let $br = if $w1:cond1 then
let $t = let $br = icase1
let $t = let $br = elseif $w2:cond2 then  case2else otherwise in context in tac
== UsingBranch (parms) ([`$br'] ,context) [cond1, [`$w1'],case1 ; cond2, [`$w2'],case2] (otherwise
== )  (\$t. tac  ) 
latex

UpTactics as terms
FDL editor aliases-branch3

origin